Перевод: со всех языков на русский

с русского на все языки

С русского на:
Все языки
Со всех языков на:
Все языки
Английский
Русский

logical theorem

Толкование Перевод

1 logical theorem

мат. логическая теорема

Большой англо-русский и русско-английский словарь > logical theorem
2 logical theorem

Математика: логическая теорема

Универсальный англо-русский словарь > logical theorem
3 logical theorem

мат.

логическая теорема

English-Russian scientific dictionary > logical theorem
4 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem
5 логическая теорема

мат. logical theorem

Большой англо-русский и русско-английский словарь > логическая теорема
6 subtle

1. a тонкий, нежный

subtle perfume — нежный запах

subtle nuance — нежный оттенок

subtle theorem — тонкая теорема

2. a острый, проницательный

subtle policy — умная политика

subtle mind — острый ум

subtle senses — обострённые чувства

3. a трудно уловимый, едва различимый

subtle distinction — тонкое различие

4. a таинственный

subtle power — таинственная сила

5. a искусный, умелый, ловкий

subtle device — хитроумное приспособление

6. a утончённый, изысканный

subtle delight — утончённое наслаждение

7. a хитрый, коварный; изворотливый

subtle enemy — коварный враг

8. a действующий исподтишка, незаметно

subtle poisons — медленно действующие яды

9. a ненасыщенный; негустой

Синонимический ряд:

1. abstruse (adj.) abstruse; complex; deceptive; elusive; implied; indirect; inferred; insinuated; suggestive

2. discriminating (adj.) apt; astute; discriminating; keen; perspicacious; shrewd; skillful; sophisticated

3. faint (adj.) faint; filmy; intricate; slender; slight; understated

4. fine (adj.) delicate; fine; finespun; hairline; hairsplitting; nice; refined

5. logical (adj.) analytic; analytical; logical; ratiocinative

6. sly (adj.) artful; crafty; cunning; deep; foxy; full of artifice; guileful; insidious; sly; subdolous; tricky; vulpine; wily

7. thin (adj.) attenuate; attenuated; rare; rarefied; subtile; tenuous; thin

Антонимический ряд:

blatant; guileless; obvious; undiscerning

English-Russian base dictionary > subtle
7 reasoning

1) [логическое] рассуждение, умозаключение; [логический] вывод

см. тж. abstract reasoning, automated reasoning, case-based reasoning, commonsense reasoning, deductive reasoning, logical reasoning, probabilistic reasoning, reasoning system, theorem proving

2) мышление

Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > reasoning
8 conclusion

1) вывод, (умо)заключение

2) закрытие, завершение

3) итог, результат

•

to jump at conclusion — делать поспешный вывод

to reach a conclusion — прийти к заключению

to rush to conclusion — делать поспешный вывод

- a priori conclusion

- chain conclusion

- conclusion of rule

- conclusion of theorem

- conditional conclusion

- direct conclusion

- empirical conclusion

- false conclusion

- final conclusion

- general conclusion

- heuristic conclusion

- immediate conclusion

- inductive conclusion

- intermediate conclusion

- invalid conclusion

- logical conclusion

- negative conclusion

- overall conclusion

- preliminary conclusion

- statistical conclusion

- strong conclusion

- tentative conclusion

- theoretical conclusion

- true conclusion

English-Russian scientific dictionary > conclusion
9 negation

отрицание

negation of proposition — отрицание высказывания

- classical negation

- complete negation

- cyclic negation

- diametric negation

- double negation

- logical negation

- minimal negation

- negation of alternation

- negation of conditional

- negation of conjunction

- negation of negation

- negation of proposition

- negation of theorem

- strict negation

- symbol of negation

- triple negation

English-Russian scientific dictionary > negation
10 proof

1) доказательство; обоснование; подтверждение

2) полигр. корректура, пробный оттиск

3) контрольный отпечаток

4) проверка; испытание; проба || проверять; испытывать; опробовать

5) безопасный; защищённый

6) обеспечивать непроницаемость; герметизировать

•

axiom needs no proof — аксиома не требует доказательства

not serving as a proof — недоказательный

proof against — устойчивый к воздействию (какого-л. фактора)

proof by analysis — доказательство путём анализа

proof by contradiction — мат. доказательство от противного

proof by enumeration — доказательство путём перебора вариантов

proof by exhaustion — доказательство путём полного перебора вариантов

proof by induction — мат. доказательство по индукции

proof by matrices — мат. доказательство с помощью матриц

proof by reduction to absurdity — доказательство от противного

proof from hypothesis — доказательство с помощью гипотезы

proof in outline — набросок [схема] доказательства;

the proof is immediate — доказательство получаем сразу

the proof is obvious — доказательство очевидно

the proof is straightforward — доказательство не вызывает затруднений

this completes the proof — это завершает доказательство; на этом доказательство заканчивается

this concludes the proof of theorem — это завершает доказательство теоремы

to give a proof — матем. дать доказательство

- a priori proof

- abridged proof

- absolute proof

- abstract proof

- acid proof

- algebraic proof

- alleged proof

- alternative proof

- analytical proof

- apagogic proof

- automatic proof

- brush proof

- classical proof

- combinatorial proof

- complete proof

- consistency proof

- constructive proof

- cyclic proof

- deductive proof

- detailed proof

- diagonal proof

- direct proof

- effective proof

- elementary proof

- exact proof

- existence proof

- experimental proof

- fallacious proof

- finitary proof

- finite proof

- first proof

- formal proof

- foundry proof

- galley proof

- general proof

- genetic proof

- geometric proof

- heuristic proof

- incomplete proof

- indirect proof

- inductive proof

- infallible proof

- informal proof

- intuitionistic proof

- intuitive proof

- irreducible proof

- irrefutable proof

- logical proof

- mathematical proof

- mechanical proof

- nonelementary proof

- page proof

- partial proof

- precise proof

- predicative proof

- press proof

- probabilistic proof

- proof of hypothesis

- proof of identity

- proof of necessity

- proof of sufficiency

- purely algebraic proof

- reductio ad absurdum proof

- regressive proof

- relative proof

- rigorous proof
- strong proof
- topological proof

- tree form proof

- variant proof

- verbal proof

English-Russian scientific dictionary > proof
11 scheme

1) схема || составлять схему

2) план; замысел || планировать, замышлять

•

- absolute ring scheme

- abstract scheme

- affine scheme

- algebraic scheme

- algebraizable scheme

- arbitration scheme

- associative scheme

- atomic scheme

- autoregressive scheme

- axiom scheme

- band scheme

- base scheme

- binomial sampling scheme

- canonical scheme

- censoring scheme

- coding scheme

- combinatorial scheme

- completely confounded scheme
- composite sampling scheme
- computational scheme

- conceptual scheme

- configuration scheme

- confounding scheme

- connected scheme

- Crank-Nicholson scheme

- decay scheme

- decision scheme
- decisive scheme
- decomposition scheme

- demonstration scheme

- dense scheme

- derivation scheme

- derived scheme

- deterministic scheme

- diagram scheme

- difference scheme

- dissipative difference scheme
- double sampling scheme
- elementary scheme

- equidimensional scheme

- evolutionary operation scheme

- excavation scheme

- explicit scheme

- factorial scheme

- finite scheme

- formal scheme

- formalized scheme

- geometrically irreducible scheme

- graphical scheme

- group scheme

- identical scheme

- induction scheme

- interpolation scheme

- irreducible scheme

- iterative scheme

- labeling scheme

- lexicographic scheme

- loading scheme

- logical scheme

- mathematical scheme

- memory allocation scheme

- metric scheme

- minimax scheme

- multiple sampling scheme

- nonlinear scheme

- nonprojective scheme

- normal scheme

- operator scheme

- optimization scheme

- pair scheme

- paracyclic scheme

- parallel-tangents scheme

- partial recursive scheme

- partitioning scheme

- polynomial scheme

- preference scheme

- primitive recursive scheme

- priority scheme

- probability scheme

- proof scheme

- quadrature scheme

- quasicompact scheme

- quasiprojective scheme

- quasiresidual scheme

- quasisymmetric scheme

- randomization scheme

- rectangular scheme

- recursion scheme

- reduced scheme

- regular scheme

- relational scheme

- restricted induction scheme

- sampling scheme

- scheme of computation

- scheme of hidden scheme

- scheme of information

- scheme of interpretation

- scheme of proof

- scheme of selection

- scheme of union

- self-correcting scheme

- separated scheme

- sequential sampling scheme

- sequential scheme

- serial sampling scheme

- simulation scheme

- single sampling scheme
- singly connected scheme
- stiff scheme

- stochastic scheme

- theorem scheme

- triangular scheme

- urn scheme

- voting scheme

- wandering scheme

- wild scheme

English-Russian scientific dictionary > scheme

См. также в других словарях:

logical proof — noun proof of a logical theorem • Hypernyms: ↑proof … Useful english dictionary
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia
Logical quality — In many philosophies of logic statements are categorized into different logical qualities based on how they go about saying what they say. Doctrines of logical quality are an attempt to answer the question: “How many qualitatively different ways… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Logical framework approach — This article is about the management tool. For the automated theorem proving approach, see logical framework. The Logical Framework Approach (LFA) is a management tool mainly used in the design, monitoring and evaluation of international… … Wikipedia
Logical possibility — A logically possible proposition is one that can be asserted without implying a logical contradiction. This is to say that a proposition is logically possible if there is some coherent way for the world to be, under which the proposition would be … Wikipedia
Logical equivalence — In logic, statements p and q are logically equivalent if they have the same logical content.Syntactically, p and q are equivalent if each can be proved from the other. Semantically, p and q are equivalent if they have the same truth value in… … Wikipedia

Словари и энциклопедии на Академике

Перевод: со всех языков на русский

logical theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: со всех языков на русский

logical theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: